EXTRA_DIST = verifAE.m verifBC.m verifBu.m verifD.m
